Deriving a Relationship from a Single Example Neil Mitchell Abstract Given an appropriate domain specific language (DSL), it is possible

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Type theory
• Programming language comparisons
• Functional languages
• Monad
• Generic programming
• Type class
• Algebraic data type

Toward a Domain-Specific Visual Discussion Forum for Learning Computer Programming: An Empirical Study of a Popular MOOC Forum Joyce Zhu, Jeremy Warner, Mitchell Gordon, Jeffery White, Renan Zanelatto, Philip J. Guo Depa

Source URL: www.pgbovine.net

• Software engineering
• Computing
• Computer programming
• Online education
• Open educational resources
• Object-oriented programming languages
• Cross-platform software
• Procedural programming languages
• Internet forum
• Comparison of Internet forum software
• EdX
• Massive open online course

SECURITY The Bugs We Have to Kill S E R G E Y B R AT U S , M E R E D I T H L . PAT T E R S O N , A N D A N N A S H U B I N A

Source URL: langsec.org

• Software engineering
• Software
• Computer programming
• Compiler construction
• Parsing
• Formal languages
• Parser combinator
• Syntax
• Computability
• Compiler-compiler
• Compiler
• Domain-specific language

LNCSMAO: Ownership and Effects for More Effective Reasoning About Aspects

Source URL: curtclifton.net

• Software development
• Software engineering
• Aspect-oriented software development
• Aspect-oriented programming
• AspectJ
• Pointcut
• Join point
• Spring Framework
• Cross-cutting concern
• Aspect
• Advice
• Domain name

We Need Real Tools for Generating Type Inferencers William E. Byrd Nada Amin

Source URL: popl-obt-2014.cs.brown.edu

• Software engineering
• Computing
• Software
• Functional programming
• Programming paradigms
• International Conference on Functional Programming
• Domain-specific language
• Compiler
• Type system
• Declarative programming
• Programming language

Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming Cezar Ionescu Patrik Jansson

Source URL: www.cse.chalmers.se

A Security Domain Model to Assess Software for Exploitable Covert Channels Alan B. Shaffer Mikhail Auguston

Source URL: cisr.nps.edu

• Software engineering
• Computing
• Computer programming
• Concurrent programming languages
• Dependence analysis
• Static program analysis
• Information flow
• Program slicing
• Scope
• ALGOL 68
• Variable
• XC

DSL PLATFORMS DSL SUMMER SCHOOL 2015 TIARK ROMPF, PURDUE UNIVERSITY DSL

Source URL: vjovanov.github.io

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Type theory
• Functional languages
• Programming language implementation
• Generalized algebraic data type
• Syntax
• Domain-specific language
• Haskell

Stephen Oney | Research Statement Computing is an indispensible tool in the 21st century, yet too few people know how to wield its power to augment their everyday lives. My research enables and encourages novice, everyda

Source URL: from.so

• Software engineering
• Computing
• Software
• Computer programming
• Humancomputer interaction
• Software design
• Cross-platform software
• JavaScript
• ECO
• Domain-specific language
• Callback
• End-user development

A Domain-Specific Language for Programming in the Tile Assembly Model∗ David Doty† Matthew J. Patitz‡

Source URL: www.self-assembly.net